Inria International Partners

Informal International Partners

We work with the team of Adam Chlipala at MIT, in particular the engineer Paul Steckler, with whom we have regular meetings concerning the optimization of parts of the Coq system with respect to use cases provided by the MIT team, and the design of user-interface tools. This engineer had a visit of 6 weeks in France in April, three weeks in the pi.r2 team (mostly hosted by Matthieu Sozeau) and three weeks in the Marelle team, mostly hosted by Enrico Tassi and Maxime Dénès. The collaboration continues since that visit with a weekly phone conference.